== (g.2.2).1 

latex

---

clarification:

g == (g.2.2).1 

latex

Up	grp sig object directory
Wellformedness Lemmas	grp le wf
Definitions	t.1, t.2